Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
191	PDF Document Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2016-07-12 03:35:12 Models of computation Concurrency Diagrams Software engineering Petri nets Theoretical computer science Metaphor
192	New-age computing T by Adam Hadhazy 22 Add to Reading List Source URL: www.aerospaceamerica.org Language: English - Date: 2016-06-30 16:35:31 Quantum information science Theoretical computer science Quantum mechanics Physics Quantum computing Emerging technologies Models of computation D-Wave Systems Qubit D-Wave Two Quantum Artificial Intelligence Lab Quantum technology
193	Pipes, Cigars, and Kreplach: The Union of Minkowski Sums in Three Dimensions Pankaj K. Agarwaly Micha Sharirz Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2012-06-29 10:27:51 Analysis of algorithms Probabilistic complexity theory Randomized algorithm FO Mathematics Computer science Theoretical computer science Analytic geometry
194	Prof. Roger Wattenhofer http://www.dcg.ethz.ch Semester/Master Thesis Distributed Graph Coloring Motivation and Informal Description Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:37:01 Graph theory Mathematics Theoretical computer science NP-complete problems Distributed computing Symposium on Principles of Distributed Computing ACM SIGACT Graph coloring Algorithm Independent set Dijkstra Prize Symposium on Parallelism in Algorithms and Architectures
195	Introduction Memoryless Computation Universal Simulation Add to Reading List Source URL: www.maths.dur.ac.uk Language: English - Date: 2015-09-03 03:05:49 Algorithms Theoretical computer science Binary arithmetic XOR swap algorithm Mathematics Memorylessness Swap Academia Applied mathematics
196	Introduction Markovian Foundations Applications Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-30 16:35:02 Markov processes Process calculi Markov models PEPA Markov chain Jane Hillston Markovian Process calculus Theoretical computer science Mathematics Discrete mathematics TAPAs model checker
197	LNCSA Standard Framework for Timetabling Problems Add to Reading List Source URL: stefan.buettcher.org Language: English - Date: 2006-04-07 00:52:14 Constraint programming Mathematical optimization Artificial intelligence Theoretical computer science Applied mathematics Constraint logic programming NP-hard problems Operations research Genetic algorithm Nurse scheduling problem Constrained optimization
198	Static Analysis of Programs with Imprecise Probabilistic Inputs Assale Adje2 , Olivier Bouissou1 , Jean Goubault-Larrecq2 , Eric Goubault1 , and Sylvie Putot1 1 CEA LIST Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-09-17 04:23:07 Probability theory Mathematics Analysis Theoretical computer science Sigma-algebra Symbol Denotational semantics Probability distribution Abstract interpretation Random variable
199	Lazy Query Evaluation for Active XML∗ Serge Abiteboul Omar Benjelloun Bogdan Cautis Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2004-06-07 06:00:00 Computing Software engineering Computer programming Theoretical computer science Query optimization SQL Recursion XQuery Bin
200	Microsoft Word - D20-1.0.c.doc Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-11-21 08:16:27 Formal methods Rodin tool Theoretical computer science Software engineering Rodin Michael Butler B-Method Independent Investigations Group

UPDATE